Algorithmic inference